package gov.nasa.jpf.search.heuristic;

import gov.nasa.jpf.Config;
import gov.nasa.jpf.jvm.JVM;

import java.util.Random;


/**
 * heuristic state prioritizer that returns random priority values
 */
public class ARTHeuristic extends SimplePriorityHeuristic {

  protected Random random;
  private ARTGenerator generator;

  public ARTHeuristic (Config config, JVM vm) {
    super(config,vm);    
    random = new Random(config.getInt("choice.seed", 50));
    generator = new ARTGenerator(Integer.MAX_VALUE,random);
  }

  protected int computeHeuristicValue () {
    return generator.getARTVal();
  }
}
